install-info  --delete gawk      --info-dir  ${INSTALL_ROOT}/usr/share/info
install-info  --delete gawkinet  --info-dir  ${INSTALL_ROOT}/usr/share/info
true
